nLab Robert Constable

• webpage

Selected writings

On inductive types:

• Robert L. Constable, N. Paul Francis Mendler, Recursive definitions in type theory, in Logic of Programs 1985, Lecture Notes in Computer Science 193 Springer (1985) $[$doi:10.1007/3-540-15648-8_5$]$

On type theory in mathematics and computer science:

• Robert Constable, The Triumph of Types: Creating a Logic of Computational Reality, lecture at Types, Semantics and Verification, Oregon (2011) [pdf, pdf]

Related entries

• NuPRL

• computational type theory

category: people